Cotensor Coalgebras in Monoidal Categories
نویسندگان
چکیده
We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.
منابع مشابه
A Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملDual Adjunctions Between Algebras and Coalgebras
It is shown that the dual algebra functor from coalgebras to algebras has a left adjoint even if the base ring is not a field but an arbitrary commutative ring with 1. This result is proved as a corollary to a more general theorem on adjunctions between comonoids and monoids over suitable symmetric monoidal categories. MSC 2000: Primary 16B50, Secondary 18A40
متن کاملBraided Bialgebras of Type One: Applications
The main purpose of this paper is to study some relevant applications of the results on bialgebras of type one obtained in [AM1] in the framework of abelian braided monoidal categories. Let H be a braided bialgebra in a cocomplete and complete abelian braided monoidal category (M, c) satisfying AB5. Assume that the tensor product commutes with direct sums and is twosided exact. Let M be in HM H...
متن کاملA Brief Introduction to Coalgebra Representation Theory
In this survey, we review fundamental properties of coalgebras and their representation theory. Following J.A. Green we present the block theory of coalgebras using indecomposable injectives comodules. Using the cohom and cotensor functors we state Takeuchi-Morita equivalence and use it to sketch the proof of existence of “basic” coalgebras, due to the author and S. Montgomery. This leads to a ...
متن کاملOn Coinduction Functors between Categories of Comodules for Corings
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a more general coinduction functor between categories ...
متن کامل